Extending ReSpecT for Multiple Coordination Flows
نویسندگان
چکیده
In this paper, the ReSpecT specification language for programming the behaviour of tuple centres is extended with the out tc predicate, enabling communication between tuple centres. The extension is formally defined, and its benefits in the management of multiple coordination flows are outlined. The paper shows how relevant interaction scenarios – typically event-oriented – can be framed as multiple coordination flow problems, and properly engineered using tuple centres with the extended ReSpecT language. In particular, first ReSpecT is used to implement a well-known coordination primitive – copy-collect –, provided by some tuple-based model as a building block for managing multiple coordination flows; then the Publish/Subscribe interaction pattern is taken into account, showing how ReSpecT tuple centres can be used for the design of flexible event notification services. For sake of concreteness, two examples are then developed: a JavaSpacesand T Spaces-like notification service, and a patient monitoring system, involving the notification of complex event patterns.
منابع مشابه
Steady Axisymmetric Vortex Flows with Swirl and Shear
A general procedure is presented for computing axisymmetric swirling vortices which are steady with respect to an inviscid flow that is either uniform at infinity or includes shear. We consider cases both with and without a spherical obstacle. Choices of numerical parameters are given which yield vortex rings with swirl, attached vortices with swirl analogous to spherical vortices found by Moff...
متن کاملA BI-LEVEL LINEAR MULTI-OBJECTIVE DECISION MAKING MODEL WITH INTERVAL COEFFICIENTS FOR SUPPLY CHAIN COORDINATION
Bi-level programming, a tool for modeling decentralized decisions, consists of the objective(s) of the leader at its first level and that is of the follower at the second level. Three level programming results when second level is itself a bi-level programming. By extending this idea it is possible to define multi-level programs with any number of levels. Supply chain planning problems are co...
متن کاملMultiple-organizational coordination planning for humanitarian relief operations
In humanitarian relief operations (HRO), due to the excessive number of relief organizations, multiple organizational coordination is a demanding and complicated task. Considering such a problem, this paper proposes a two-phase mechanism to coordinate multiple heterogeneous relief organizations in a decentralized HRO logistics network. To address such a problem, first a bi-level mixed integer l...
متن کاملIdentifying and Analyzing Coordination Barriers in the Context of Urban Infrastructure Provision in Iran A Qualitative Multiple Case Study
Introduction: Urban infrastructure systems provide foundations for modern civil communities and enhance the quality of life. Coordination between different urban infrastructure agencies involved in urban infrastructure provision plays a significant role in the success of these critical urban sub-systems. It brings together various independent agencies to make their endeavors more accordant. In ...
متن کاملPath Planning in Multi-scale Ocean Flows: Coordination and Dynamic Obstacles
As the concurrent use of multiple autonomous vehicles in ocean missions grows, systematic control for their coordinated operation is becoming a necessity. Many ocean vehicles, especially those used in longer–range missions, possess limited operating speeds and are thus sensitive to ocean currents. Yet, the effect of currents on their trajectories is ignored by many coordination techniques. To a...
متن کامل